منابع مشابه
Forcing de bas niveau
Le langage logique est celui de la logique du second ordre, avec des symboles de fonctions et des variables et constantes de prédicat sur les individus. Les seuls symboles logiques sont →,∀. Définitions. ⊥≡∀X X ; ¬A ≡ A →⊥ ; A∧B ≡¬(A,B →⊥) ; A∨B ≡¬A,¬B →⊥ ; ∃x A ≡¬∀x¬A ; ∃X A ≡¬∀X¬A ; t = u ≡∀X (X t → X u). On écrira A1, A2, . . . , Ak → A pour A1 → (A2 → (. . . (Ak → A) . . .)). On écrira ∃x{A...
متن کاملGoing beyond BDI: Programming 'BDI+' Agents
The BDI model for intelligent agents has been very influential for both theoretical and practical research in agent technology. It gave rise to a form of agent-oriented programming which could be called ’BDI programming’, the programming of the mental attitudes of agents, where these attitudes pertain to notions in the vein of beliefs, desires and intentions. In this talk I will sketch how we c...
متن کاملLITTERATUR ARTIKLER FRA FAGLIGE TIDSSKRIFTER Barriers to implementing the DSM-5 Cultural Formulation interview : a qualitative study
Ny grønlandsk strategi skal mindske verdens højeste selvmordsrate. Den nye strategi har særligt fokus på forebyggelse af selvmord blandt unge. Opvækst i familier med alkohol og seksuelle overgreb gør grønlandske unge særligt udsatte. Antallet af selvmord i Grønland er målt i forhold til indbyggertallet verdens højeste. I 2010 blev der begået 62 selvmord på Grønland – hvilket giver landet en sel...
متن کاملEt informatikkperspektiv på norsk lovgivning om karakterklager i høyere utdanning
KD har i en nylig proposisjon foreslått endringer av klagesensurordningen, hvor det legges opp til at en modell med blind omsensur, som allerede har vært brukt ved en del læresteder, nå skal gjøres obligatorisk for alle læresteder. I denne artikkelen sammenlignes gammel og ny klagesensurordning med ordningene i en del andre land. Vi diskuterer ulike typer sensurfeil (med eksempel fra programmer...
متن کاملBDI Logics
This paper presents an overview of so-called BDI logics. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly remodelled in dynamic logic, Rao & Georgeff’s influential BDI logic based on the branching-time temporal logic CTL*, the KARO framework and BDI logic based on stit (seeing to it that) lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Biblioteksarbejde
سال: 2018
ISSN: 0106-2514
DOI: 10.7146/bibarb.v0i32.106277